-
1 deductive logic
мет. дедуктивная логика (форма умозаключения, означающая движение познания от общего к частному)See: -
2 deductive logic
Большой англо-русский и русско-английский словарь > deductive logic
-
3 deductive logic
Математика: дедуктивная логика -
4 deductive logic
дедуктивная логикаАнгло-русский большой универсальный переводческий словарь > deductive logic
-
5 deductive logic
дедуктивная логикаEnglish-Russian dictionary of technical terms > deductive logic
-
6 deductive logic
мат. дедуктивная логика -
7 deductive logic
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > deductive logic
-
8 deductive logic
мат. -
9 logic
-
10 logic
ˈlɔdʒɪk сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. clear logic ≈ четкая логика cold logic ≈ беспристрастная логика irrefutable logic ≈ неопровержимая логика deductive logic ≈ дедуктивная логика formal logic ≈ формальная логика inductive logic ≈ индуктивная логика simple logic ≈ простая логика symbolic logic ≈ символическая логика логика (наука) логика, логичность( аргументации и т. п.) ;
разумность;
закономерность - to argue with * рассуждать логично логика, неизбежный вывод;
неизбежность какого-л. поведения - the * of events логика событий (компьютерное) логическая схема алгоритм( разговорное) здравый смысл - there is no * in spending money on useless things нет никакого смысла /глупо/ тратить деньги на ерунду > to chop * спорить, препираться;
приводить противоречивые доводы belief ~ логика веры binary ~ вчт. двузначная логика byte-alignment ~ вчт. логика перегруппировки байтов command ~ вчт. логика команд common-sense ~ логика здравого смысла constructive ~ конструктивная логика control ~ вчт. управляющая логика default ~ вчт. логика рассуждений по умолчанию distributed ~ вчт. распределенное управление dynamic ~ вчт. динамическая логика first order ~ логика первого порядка formal ~ формальная логика fuzzy ~ нечеткая логика inductive ~ индуктивная логика intuitionistic ~ интуиционистская логика ladder ~ вчт. многозвенная логическая схема logic логика ~ логическая схема ~ логичность monotonic ~ монотонная логика multivalued ~ многозначная логика non-monotonic ~ немонотонная логика operational ~ логика действий presumed ~ предопределенная логика probabilitic ~ вероятностная логика probablistic ~ вероятностная логика propositional ~ пропозициональная логика pseudophysical ~ псевдофизическая логика relevance ~ логика определения релевантности second order ~ логика второго порядка spatial ~ пространственная логика stored ~ вчт. зашитый алгоритм system ~ вчт. системная логика temporal ~ вчт. временная логика ternary ~ вчт. трехзначная логика threshold ~ пороговая логика two-line ~ вчт. двухпроводная логическая схема wasted ~ вчт. лишняя логическая схема -
11 logic
['lɔʤɪk]сущ.- deductive logic
- inductive logic
- symbolical logic
- symbolic logic2) логика, логичность, закономерность, разумностьto apply / use logic — применять логику
There is no logic in their policy. — В их политике отсутствует логичность.
3) информ. логическая схема, логический узел ( в компьютере) -
12 deductive
-
13 inductive logic
мет. индуктивная логика (форма умозаключения, способ рассуждения, означающие движение познания от частного к общему, обобщение отдельных фактов)Syn:See: -
14 дедуктивная логика
Большой англо-русский и русско-английский словарь > дедуктивная логика
-
15 логика
жен. logic четкая логика ≈ clear logic индуктивная логика ≈ inductive logic дедуктивная логика ≈ deductive logic нарушение логики ≈ paralogism формальная логика ≈ formal logic -
16 deduction
1) дедукция(от лат. deductio - выведение) логическое умозаключение, переход от общих положений, законов, принципов, постулатов, аксиом и т. п. к частному, конкретному выводу; один из базовых методов процесса познанияAnt:см. тж. deductive logic2) вывод, заключениеSyn:3) вычитаемоеSyn:см. тж. subtractionАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > deduction
-
17 chain
1) цепь; цепочка•- bit chain
- call chain
- code chain
- daisy chain
- deductive chain
- dependency chain - letter chain
- logic chain
- Markov chain
- multiple chain
- owner-member chain
- print chain
- reasoning chain
- scan chain
- shift chain
- skip chain
- skip-searched chainEnglish-Russian dictionary of computer science and programming > chain
-
18 calculus
См. также в других словарях:
Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… … Wikipedia
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
logic — The general science of inference. Deductive logic, in which a conclusion follows from a set of premises, is distinguished from inductive logic, which studies the way in which premises may support a conclusion without entailing it. In deductive… … Philosophy dictionary
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… … Wikipedia
Deductive database — It is a database system which can make deductions (i.e.: conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.… … Wikipedia
Deductive-nomological model — The deductive nomological model (or D N model) is a formalized[citation needed] view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement… … Wikipedia